The common point problem in constructive projective geometry
نویسندگان
چکیده
منابع مشابه
Constructive Geometry
Euclidean geometry, as presented by Euclid, consists of straightedge-and-compass constructions and rigorous reasoning about the results of those constructions. A consideration of the relation of the Euclidean “constructions” to “constructive mathematics” leads to the development of a first-order theory ECG of the “Euclidean Constructive Geometry”, which can serve as an axiomatization of Euclid ...
متن کاملA Constructive Real Projective Plane
The classical theory of plane projective geometry is examined constructively, using both synthetic and analytic methods. The topics include Desargues's Theorem, harmonic conjugates, projectivities, involutions, conics, Pascal's Theorem, poles and polars. The axioms used for the synthetic treatment are constructive versions of the traditional axioms. The analytic construction is used to verify t...
متن کاملInvertibility Methods in Constructive Geometry
Let us suppose T ( π, 1 2 ) ∼ √ 2 −9 + 1 ∨ · · · × 1± β 6= W (p× 1) tan−1 (−1) × · · · ∩Nq̃
متن کاملMultidirectional hybrid algorithm for the split common fixed point problem and application to the split common null point problem
In this article, a new multidirectional monotone hybrid iteration algorithm for finding a solution to the split common fixed point problem is presented for two countable families of quasi-nonexpansive mappings in Banach spaces. Strong convergence theorems are proved. The application of the result is to consider the split common null point problem of maximal monotone operators in Banach spaces. ...
متن کاملThe Parallel Postulate in Constructive Geometry
Euclidean geometry, as presented by Euclid, consists of straightedge-and-compass constructions and rigorous reasoning about the results of those constructions. A consideration of the relation of the Euclidean “constructions” to “constructive mathematics” leads to the development of a first-order theory ECG of the “Euclidean Constructive Geometry”, which can serve as an axiomatization of Euclid ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae
سال: 2013
ISSN: 0019-3577
DOI: 10.1016/j.indag.2012.07.001